home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / ast_comp / concurre.tar / concurrency / iowatr.tex / images.pl (.txt) < prev    next >
LaTeX Document  |  1993-07-05  |  8KB  |  175 lines
  1. # LaTeX2HTML 2022 (Released January 1, 2022)
  2. # Associate images original text with physical files.
  3. $key = q//;
  4. $cached_env_img{$key} = q|<IMG
  5.   STYLE="height: 0.38ex; vertical-align: 162.91ex; " SRC="|."$dir".q|img20.png"
  6.  ALT="\begin{picture}(160,90)(0,-5)
  7. \put(72,77){\line(-3,-1){46}}
  8. \put(91,77){\line(3,...
  9. ...rK}
  10. \put(72,37){I+C}
  11. \put(58,17){L}
  12. \put(96,17){R}
  13. \put(74,-3){RA}
  14. \end{picture}">|; 
  15. $key = q/Diamond;MSF=1.6;LFS=11;AAT/;
  16. $cached_env_img{$key} = q|<IMG
  17.  STYLE="height: 1.28ex; vertical-align: 162.53ex; " SRC="|."$dir".q|img22.png"
  18.  ALT="$\Diamond$">|; 
  19. $key = q/Diamond{^prime};MSF=1.6;LFS=11;AAT/;
  20. $cached_env_img{$key} = q|<IMG
  21.  STYLE="height: 1.92ex; vertical-align: 161.83ex; " SRC="|."$dir".q|img34.png"
  22.  ALT="$\Diamond{^\prime}$">|; 
  23. $key = q/bar{Theta}_{{DA}}^{};MSF=1.6;LFS=11;AAT/;
  24. $cached_env_img{$key} = q|<IMG
  25.  STYLE="height: 1.85ex; vertical-align: 161.24ex; " SRC="|."$dir".q|img37.png"
  26.  ALT="$\bar{\Theta}_{{DA}}^{}$">|; 
  27. $key = q/bfn;MSF=1.6;LFS=11;AAT/;
  28. $cached_env_img{$key} = q|<IMG
  29.  STYLE="height: 2.17ex; vertical-align: 161.57ex; " SRC="|."$dir".q|img14.png"
  30.  ALT="$\bf n$">|; 
  31. $key = q/bf{BA;MSF=1.6;LFS=11;AAT/;
  32. $cached_env_img{$key} = q|<IMG
  33.  STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img28.png"
  34.  ALT="$\bf BA$">|; 
  35. $key = q/bf{BM;MSF=1.6;LFS=11;AAT/;
  36. $cached_env_img{$key} = q|<IMG
  37.  STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img9.png"
  38.  ALT="$\bf BM$">|; 
  39. $key = q/bf{DA;MSF=1.6;LFS=11;AAT/;
  40. $cached_env_img{$key} = q|<IMG
  41.  STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img30.png"
  42.  ALT="$\bf DA$">|; 
  43. $key = q/bf{DA^{B}_{};MSF=1.6;LFS=11;AAT/;
  44. $cached_env_img{$key} = q|<IMG
  45.  STYLE="height: 1.72ex; vertical-align: 161.45ex; " SRC="|."$dir".q|img5.png"
  46.  ALT="$\bf DA^{B}_{}$">|; 
  47. $key = q/bf{DA^{K}_{};MSF=1.6;LFS=11;AAT/;
  48. $cached_env_img{$key} = q|<IMG
  49.  STYLE="height: 0.38ex; vertical-align: 162.72ex; " SRC="|."$dir".q|img7.png"
  50.  ALT="$\bf DA^{K}_{}$">|; 
  51. $key = q/bf{IDA;MSF=1.6;LFS=11;AAT/;
  52. $cached_env_img{$key} = q|<IMG
  53.  STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img25.png"
  54.  ALT="$\bf IDA$">|; 
  55. $key = q/bf{RA;MSF=1.6;LFS=11;AAT/;
  56. $cached_env_img{$key} = q|<IMG
  57.  STYLE="height: 2.04ex; vertical-align: 161.70ex; " SRC="|."$dir".q|img8.png"
  58.  ALT="$\bf RA$">|; 
  59. $key = q/bf{RBA;MSF=1.6;LFS=11;AAT/;
  60. $cached_env_img{$key} = q|<IMG
  61.  STYLE="height: 2.17ex; vertical-align: 161.57ex; " SRC="|."$dir".q|img27.png"
  62.  ALT="$\bf RBA$">|; 
  63. $key = q/bf{RDA;MSF=1.6;LFS=11;AAT/;
  64. $cached_env_img{$key} = q|<IMG
  65.  STYLE="height: 2.30ex; vertical-align: 161.38ex; " SRC="|."$dir".q|img24.png"
  66.  ALT="$\bf RDA$">|; 
  67. $key = q/bf{RRA;MSF=1.6;LFS=11;AAT/;
  68. $cached_env_img{$key} = q|<IMG
  69.  STYLE="height: 1.66ex; vertical-align: 162.08ex; " SRC="|."$dir".q|img29.png"
  70.  ALT="$\bf RRA$">|; 
  71. $key = q/bf{mbox{calA};MSF=1.6;LFS=11;AAT/;
  72. $cached_env_img{$key} = q|<IMG
  73.  STYLE="height: 1.60ex; vertical-align: 162.08ex; " SRC="|."$dir".q|img10.png"
  74.  ALT="$\bf\mbox{$\cal A$}$">|; 
  75. $key = q/bf{mbox{calB};MSF=1.6;LFS=11;AAT/;
  76. $cached_env_img{$key} = q|<IMG
  77.  STYLE="height: 1.60ex; vertical-align: 162.08ex; " SRC="|."$dir".q|img3.png"
  78.  ALT="$\bf\mbox{$\cal B$}$">|; 
  79. $key = q/bf{mbox{calB}{^prime};MSF=1.6;LFS=11;AAT/;
  80. $cached_env_img{$key} = q|<IMG
  81.  STYLE="height: 1.85ex; vertical-align: 161.89ex; " SRC="|."$dir".q|img32.png"
  82.  ALT="$\bf\mbox{$\cal B$}{^\prime}$">|; 
  83. $key = q/bf{mbox{calD};MSF=1.6;LFS=11;AAT/;
  84. $cached_env_img{$key} = q|<IMG
  85.  STYLE="height: 1.15ex; vertical-align: 162.66ex; " SRC="|."$dir".q|img2.png"
  86.  ALT="$\bf\mbox{$\cal D$}$">|; 
  87. $key = q/bf{mbox{calD}{^prime};MSF=1.6;LFS=11;AAT/;
  88. $cached_env_img{$key} = q|<IMG
  89.  STYLE="height: 1.66ex; vertical-align: 162.08ex; " SRC="|."$dir".q|img31.png"
  90.  ALT="$\bf\mbox{$\cal D$}{^\prime}$">|; 
  91. $key = q/bf{mbox{calD}{^prime}{^prime};MSF=1.6;LFS=11;AAT/;
  92. $cached_env_img{$key} = q|<IMG
  93.  STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img36.png"
  94.  ALT="$\bf\mbox{$\cal D$}{^\prime}{^\prime}$">|; 
  95. $key = q/bf{mbox{calK};MSF=1.6;LFS=11;AAT/;
  96. $cached_env_img{$key} = q|<IMG
  97.  STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img4.png"
  98.  ALT="$\bf\mbox{$\cal K$}$">|; 
  99. $key = q/bf{mbox{calK}^{+}_{};MSF=1.6;LFS=11;AAT/;
  100. $cached_env_img{$key} = q|<IMG
  101.  STYLE="height: 2.68ex; vertical-align: 160.55ex; " SRC="|."$dir".q|img38.png"
  102.  ALT="$\bf\mbox{$\cal K$}^{+}_{}$">|; 
  103. $key = q/bf{mbox{calK}{^prime};MSF=1.6;LFS=11;AAT/;
  104. $cached_env_img{$key} = q|<IMG
  105.  STYLE="height: 1.92ex; vertical-align: 161.83ex; " SRC="|."$dir".q|img33.png"
  106.  ALT="$\bf\mbox{$\cal K$}{^\prime}$">|; 
  107. $key = q/bigvee;MSF=1.6;LFS=11;AAT/;
  108. $cached_env_img{$key} = q|<IMG
  109.  STYLE="height: 2.30ex; vertical-align: 160.90ex; " SRC="|."$dir".q|img41.png"
  110.  ALT="$\bigvee$">|; 
  111. $key = q/bigvee_{{i<omega}}^{};MSF=1.6;LFS=11;AAT/;
  112. $cached_env_img{$key} = q|<IMG
  113.  STYLE="height: 1.98ex; vertical-align: 161.01ex; " SRC="|."$dir".q|img39.png"
  114.  ALT="$\bigvee_{{i<\omega}}^{}$">|; 
  115. $key = q/breve{{~}};MSF=1.6;LFS=11;AAT/;
  116. $cached_env_img{$key} = q|<IMG
  117.  STYLE="height: 2.04ex; vertical-align: 161.70ex; " SRC="|."$dir".q|img6.png"
  118.  ALT="$\breve{{ }}$">|; 
  119. $key = q/cal{B};MSF=1.6;LFS=11;AAT/;
  120. $cached_env_img{$key} = q|<IMG
  121.  STYLE="height: 1.85ex; vertical-align: 161.89ex; " SRC="|."$dir".q|img35.png"
  122.  ALT="$\cal {B}$">|; 
  123. $key = q/dagb;MSF=1.6;LFS=11;AAT/;
  124. $cached_env_img{$key} = q|<IMG
  125.  STYLE="height: 1.28ex; vertical-align: 162.08ex; " SRC="|."$dir".q|img13.png"
  126.  ALT="$\dag b$">|; 
  127. $key = q/diamond;MSF=1.6;LFS=11;AAT/;
  128. $cached_env_img{$key} = q|<IMG
  129.  STYLE="height: 2.04ex; vertical-align: 161.64ex; " SRC="|."$dir".q|img1.png"
  130.  ALT="$\diamond$">|; 
  131. $key = q/displaystylebreve{{~}};MSF=1.6;LFS=11;AAT/;
  132. $cached_env_img{$key} = q|<IMG
  133.  STYLE="height: 179.22ex; vertical-align: -0.11ex; " SRC="|."$dir".q|img17.png"
  134.  ALT="$\displaystyle \breve{{ }}$">|; 
  135. $key = q/displaystylebreve{{~}}^{-}_{};MSF=1.6;LFS=11;AAT/;
  136. $cached_env_img{$key} = q|<IMG
  137.  STYLE="height: 179.22ex; vertical-align: -0.68ex; " SRC="|."$dir".q|img19.png"
  138.  ALT="$\displaystyle \breve{{ }}^{-}_{}$">|; 
  139. $key = q/displaystylecr;MSF=1.6;LFS=11;AAT/;
  140. $cached_env_img{$key} = q|<IMG
  141.  STYLE="height: 0.38ex; vertical-align: 163.30ex; " SRC="|."$dir".q|img18.png"
  142.  ALT="$\displaystyle \cr$">|; 
  143. $key = q/displaystyleeqno;MSF=1.6;LFS=11;AAT/;
  144. $cached_env_img{$key} = q|<IMG
  145.  STYLE="height: 2.17ex; vertical-align: 161.57ex; " SRC="|."$dir".q|img16.png"
  146.  ALT="$\displaystyle \eqno$">|; 
  147. $key = q/displaystylehookrightarrow;MSF=1.6;LFS=11;AAT/;
  148. $cached_env_img{$key} = q|<IMG
  149.  STYLE="height: 18.65ex; vertical-align: 144.97ex; " SRC="|."$dir".q|img21.png"
  150.  ALT="$\displaystyle \hookrightarrow$">|; 
  151. $key = q/hookleftarrow;MSF=1.6;LFS=11;AAT/;
  152. $cached_env_img{$key} = q|<IMG
  153.  STYLE="height: 1.28ex; vertical-align: 162.53ex; " SRC="|."$dir".q|img12.png"
  154.  ALT="$\hookleftarrow$">|; 
  155. $key = q/hookrightarrow;MSF=1.6;LFS=11;AAT/;
  156. $cached_env_img{$key} = q|<IMG
  157.  STYLE="height: 1.79ex; vertical-align: 161.96ex; " SRC="|."$dir".q|img11.png"
  158.  ALT="$\hookrightarrow$">|; 
  159. $key = q/models;MSF=1.6;LFS=11;AAT/;
  160. $cached_env_img{$key} = q|<IMG
  161.  STYLE="height: 2.36ex; vertical-align: 160.74ex; " SRC="|."$dir".q|img40.png"
  162.  ALT="$\models$">|; 
  163. $key = q/not=;MSF=1.6;LFS=11;AAT/;
  164. $cached_env_img{$key} = q|<IMG
  165.  STYLE="height: 1.09ex; vertical-align: 162.21ex; " SRC="|."$dir".q|img15.png"
  166.  ALT="$\not=$">|; 
  167. $key = q/notin;MSF=1.6;LFS=11;AAT/;
  168. $cached_env_img{$key} = q|<IMG
  169.  STYLE="height: 1.66ex; vertical-align: 161.63ex; " SRC="|."$dir".q|img26.png"
  170.  ALT="$\not\in$">|; 
  171. $key = q/sum_{i}^{};MSF=1.6;LFS=11;AAT/;
  172. $cached_env_img{$key} = q|<IMG
  173.  STYLE="height: 1.60ex; vertical-align: 162.07ex; " SRC="|."$dir".q|img23.png"
  174.  ALT="$\sum_{i}^{}$">|; 
  175.